Home » Fiche   membre
Fiche   membre Retour à l'annuaire  

Claude JARD

ENSEIGNANT-CHERCHEUR

Directeur du laboratoire
HDR

: Claude.Jardatls2n.fr

Page pro : http://pagesperso.ls2n.fr/~jard-c/

Adresse :



Publications référencées sur HAL

Revues internationales avec comité de lecture (ART_INT)

    • [1] N. Beldiceanu, B. Dumas Feris, P. Gravey, M. Hasan, C. Jard, T. Ledoux, Y. Li, D. Lime, G. Madi-Wamba, J. Menaud, P. Morel, M. Morvan, M. Moulinard, A. Orgerie, J. Pazat, O. Roux, A. Sharaiha. Towards energy-proportional Clouds partially powered by renewable energy. In Computing ; éd. Springer Verlag, 2017, vol. 99, num. 1.
      https://inria.hal.science/hal-01340318v1
    • [2] A. Mostefaoui, M. Petrolia, M. Raynal, C. Jard. Atomic Read/Write Memory in Signature-Free Byzantine Asynchronous Message-Passing Systems. In Proc. of the 15th Int. Conf. on Parallel Computing Technologies (PaCT 2019), 2019, Almaty, France.In Theory of Computing Systems ; éd. Springer Verlag, 2017.
      https://inria.hal.science/hal-01661008v1
    • [3] S. Akshay, L. Hélouët, C. Jard, P. Reyniers. Robustness of Time Petri Nets under Guard Enlargement. In Fundamenta Informaticae ; éd. Polskie Towarzystwo Matematyczne, 2016, vol. 143, num. 3-4.
      https://inria.hal.science/hal-01379431v1
    • [4] R. Abdallah, L. Hélouët, C. Jard. Distributed Implementation of Message Sequence Charts. In Software and Systems Modeling ; éd. Springer Verlag, 2015, vol. 14.
      https://hal.science/hal-00840372v1
    • [5] C. Jard, D. Lime, O. Roux. Blending Timed Formal Models with Clock Transition Systems. In Fundamenta Informaticae ; éd. Polskie Towarzystwo Matematyczne, 2014, vol. 129, num. 1-2.
      https://hal.science/hal-00940970v1
    • [6] A. Benveniste, C. Jard, A. Kattepur, S. Rosario, J. Thywissen. QoS-Aware Management of Monotonic Service Orchestrations. In Formal Methods in System Design ; éd. Springer Verlag, 2014, vol. 44, num. 1.
      https://hal.science/hal-00840362v1
    • [7] A. Benveniste, C. Jard, S. Abbes. Application of branching cells to QoS aware service orchestrations. In Theoretical Computer Science ; éd. Elsevier, 2014, vol. 546.
      https://hal.science/hal-01158211v2
    • [8] C. Jard, D. Lime, O. Roux, L. Traonouez. Symbolic Unfolding of Parametric Stopwatch Petri Nets. In Formal Methods in System Design ; éd. Springer Verlag, 2013, vol. 43, num. 3.
      https://hal.science/hal-00840368v1
    • [9] S. Rosario, A. Benveniste, S. Haar, C. Jard. Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations.. In IEEE Transactions on Services Computing ; éd. IEEE, 2008, vol. 1, num. 4.
      https://inria.hal.science/inria-00638213v1
    • [10] S. Pickin, C. Jard, T. Jéron, J. Jézéquel, Y. Le Traon. Test Synthesis from UML Models of Distributed Software. In IEEE Transactions on Software Engineering ; éd. Institute of Electrical and Electronics Engineers, 2007, vol. 33, num. 4.
      https://inria.hal.science/inria-00477560v1
    • [11] E. Fabre, A. Benveniste, S. Haar, C. Jard. Distributed monitoring of concurrent and asynchronous systems.. In Discrete Event Dynamic Systems ; éd. Springer Verlag, 2005, vol. 15, num. 1.
      https://inria.hal.science/inria-00638219v1
    • [12] A. Benveniste, E. Fabre, S. Haar, C. Jard. Diagnosis of Asynchronous Discrete Event Systems: A Net Unfolding Approach.. In IEEE Transactions on Automatic Control ; éd. Institute of Electrical and Electronics Engineers, 2003, vol. 48, num. 5.
      https://inria.hal.science/inria-00638224v1

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [13] H. Coullon, C. Jard, D. Lime. Integrated Model-checking for the Design of Safe and Efficient Distributed Software Commissioning. In IFM 2019 : 15th International Conference on integrated Formal Methods, décembre 2019, Bergen, Norvège.
      https://hal.science/hal-02323641v1
    • [14] N. David, C. Jard, D. Lime, O. Roux. Coverability Synthesis in Parametric Petri Nets. In 28th International Conference on Concurrency Theory (CONCUR 2017), septembre 2017, Berlin, Allemagne.
      https://hal.science/hal-01724302v1
    • [15] M. Perrin, A. Mostefaoui, C. Jard. Causal Consistency: Beyond Memory. In 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, mars 2016, Barcelone, Espagne.
      https://hal.science/hal-01286755v1
    • [16] M. Perrin, M. Petrolia, A. Mostefaoui, C. Jard. On Composition and Implementation of Sequential Consistency. In 30th International Symposium on Distributed Computing, septembre 2016, Paris, France.
      https://hal.science/hal-01347069v2
    • [17] M. Perrin, C. Jard, A. Mostefaoui. Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC. In NETYS - 3rd International Conference on NETwork sYStems, mai 2015, Agadir, Maroc.
      https://hal.science/hal-01152761v1
    • [18] N. Beldiceanu, B. Dumas Feris, P. Gravey, M. Hasan, C. Jard, T. Ledoux, Y. Li, D. Lime, G. Madi-Wamba, J. Menaud, P. Morel, M. Morvan, M. Moulinard, A. Orgerie, J. Pazat, O. Roux, A. Sharaiha. The EPOC project: Energy Proportional and Opportunistic Computing system. In International Conference on Smart Cities and Green ICT Systems (SMARTGREENS), mai 2015, Lisbonne, Portugal.
      https://hal.science/hal-01131602v1
    • [19] M. Perrin, A. Mostefaoui, C. Jard. Update Consistency for Wait-free Concurrent Objects. In IPDPS - IEEE International Parallel & Distributed Processing Symposium, mai 2015, Hyderabad, Inde.In IEEE (éds.), . , 2015.
      https://hal.science/hal-01101657v1
    • [20] N. David, C. Jard, D. Lime, O. Roux. Discrete Parameters in Petri Nets. In Application and Theory of Petri Nets and Concurrency, 36th International Conference, PETRI NETS 2015, juin 2015, Bruxelles, Belgique.In Raymond Devillers (éds.), . Springer International Publishing, 2015.
      https://hal.science/hal-01222021v1
    • [21] M. Perrin, A. Mostefaoui, C. Jard. Brief Announcement: Update Consistency in Partitionable Systems. In DISC14 - 28th International Symposium on Distributed Computing, octobre 2014, Austin, états-Unis.
      https://hal.science/hal-01079112v1
    • [23] R. Abdallah, A. Gotlieb, L. Hélouët, C. Jard. Scenario Realizability with Constraint Optimization. In FASE 2013, mars 2013, Rome, France.
      https://hal.science/hal-00840393v1
    • [24] A. Bouillard, C. Jard, A. Junier. Some Synchronization Issues in OSPF Routing. In DCNET13: the 4th International Conference on Data Communication Networking,, juillet 2013, Reykjavik, Islande.In Obaidat, Mohammad S. and Sevillano, José Luis and Zhang, Zhaoyang (éds.), DCNET, ICE-B and OPTICS 2013 - Proceedings of the 4th International Conference on Data Communication Networking, 10th International Conference on e-Business and 4th International Conference on Optical Communication Systems. SciTePress, 2013.
      https://hal.science/hal-00840350v1
    • [25] S. Akshay, L. Helouet, C. Jard, D. Lime, O. Roux. Robustness of Time Petri Nets under architectural constraints. In Formal Modeling and Analysis of Timed Systems, septembre 2013, Warwik, Royaume-Uni.In Marcin Jurdzinski and Dejan Nickovic (éds.), . Springer, 2013.
      https://inria.hal.science/hal-00879818v1
    • [26] A. Kattepur, A. Benveniste, C. Jard. Negotiation Strategies for Probabilistic Contracts in Web Services Orchestrations. In 19th IEEE International Conference on Web Services, juin 2012, Honolulu, Hawaii, états-Unis.
      https://inria.hal.science/hal-00714057v1
    • [27] S. Akshay, L. Helouet, C. Jard, P. Reynier. Robustness of Time Petri Nets under Guard Enlargement. In Reachability Problems, septembre 2012, Bordeaux, France.In Alain Finkel and Jérôme Leroux and Igor Potapov (éds.), . Springer, 2012.
      https://inria.hal.science/hal-00879832v1
    • [28] A. Kattepur, S. Sen, B. Baudry, A. Benveniste, C. Jard. Pairwise Testing of Dynamic Composite Services. In The 6th international symposium on Software engineering for adaptive and self-managing systems, mai 2011, Waikiki, Honolulu, Hawaii, états-Unis.
      https://inria.hal.science/hal-00641340v1
    • [29] A. Kattepur, A. Benveniste, C. Jard. Optimizing Decisions in Web Services Orchestrations. In 9th International Conference on Service-Oriented Computing, décembre 2011, Paphos, Chypre.In Gerti Kappel and Zakaria Maamar and Hamid R. Motahari-Nezhad (éds.), . Springer, 2011.
      https://inria.hal.science/hal-00650313v1
    • [30] A. Kattepur, S. Sen, B. Baudry, A. Benveniste, C. Jard. Variability Modeling and QoS Analysis of Web Services Orchestrations. In International Conference on Web Services, 2010, Miami, FL, USA, états-Unis.
      https://inria.hal.science/inria-00561164v1
    • [31] B. Grabiec, L. Traonouez, C. Jard, D. Lime, O. Roux. Diagnosis using unfoldings of parametric time Petri nets. In 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2010), septembre 2010, Vienna, Autriche.
      https://hal.science/hal-00523597v1
    • [32] L. Traonouez, B. Grabiec, C. Jard, D. Lime, O. Roux. Symbolic Unfolding of Parametric Stopwatch Petri Nets. In the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010), septembre 2010, Singapore, Singapour.
      https://hal.science/hal-00523593v1
    • [33] G. von Bochmann, S. Haar, C. Jard, G. Jourdan. Testing Systems Specified as Partial Order Input\slashOutput Automata. In Proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing of Software and Communicating Systems (TestCom'08) and 8th International Workshop on Formal Approaches to Testing of Software (FATES'08), 2008, Tokyo, Japan, Japon.In Suzuki, Kenji and Higashino, Teruo and Ulrich, Andreas and Hasegawa, Toru (éds.), . Springer, 2008.
      https://inria.hal.science/inria-00638305v1
    • [34] S. Rosario, D. Kitchin, A. Benveniste, W. Cook, S. Haar, C. Jard. Event Structure Semantics of Orc. In Proceedings of the 4th International Workshop on Web Services and Formal Methods (WS-FM'07), 2008, Brisbane, Australia, Australie.In Dumas, Marlon and Heckel, Reiko (éds.), . Springer, 2008.
      https://inria.hal.science/inria-00638299v1
    • [35] S. Rosario, A. Benveniste, S. Haar, C. Jard. Probabilistic QoS and soft contracts for transaction based web services. In Proceedings of the 6th International Conference on Web Services (ICWS'07), 2007, Salt Lake City, Utah, USA, états-Unis.
      https://inria.hal.science/inria-00638311v1
    • [36] S. Haar, C. Jard, G. Jourdan. Testing Input\slashOutput Partial Order Automata. In Proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing of Software and Communicating Systems (TestCom'07) and 7th International Workshop on Formal Approaches to Testing of Software (FATES'07), 2007, Tallinn, Estonie.In Petrenko, Alexandre and Veanes, Margus and Tretmans, Jan and Grieskamp, Wolfgang (éds.), . Springer, 2007.
      https://inria.hal.science/inria-00638306v1
    • [37] F. Cassez, T. Chatain, C. Jard. Symbolic Unfoldings for Networks of Timed Automata. In 4th Int. Symp. on Automated Technology for Verification and Analysis (ATVA'06), octobre 2006, Beijing, Chine.
      https://inria.hal.science/inria-00363033v1
    • [38] A. Benveniste, E. Fabre, S. Haar, C. Jard. Fault Diagnosis for Distributed Asynchronous Dynamically Reconfigured Discrete Event Systems. In Proceedings of the 16th IFAC World Congress (IFAC'05), 2005, Prague, Czech Republic, République tchèque.In Horáček, Petr and \vSimandl, Miroslav and Zítek, Pavel (éds.), . Elsevier Science Publishers, 2005.
      https://inria.hal.science/inria-00638317v1
    • [39] E. Fabre, A. Benveniste, S. Haar, C. Jard, A. Aghasaryan. Algorithms for Distributed Fault Management in Telecommunications Networks. In Proceedings of the 11th International Conference on Telecommunications (ICT'04), 2004, Fortaleza, Brazil, Brésil.In de Souza, José Neuman and Dini, Petre and Lorenz, Pascal (éds.), . Springer, 2004.
      https://inria.hal.science/inria-00638325v1
    • [40] A. Benveniste, S. Haar, E. Fabre, C. Jard. Distributed unfoldings: a tool to address distributed discrete event systems diagnosis. In Proceedings of the 42nd IEEE Conference on Decision and Control (CDC'03), 2003, Hawaii, USA, états-Unis.
      https://inria.hal.science/inria-00638327v1
    • [41] S. Haar, A. Benveniste, E. Fabre, C. Jard. Partial Order Diagnosability of Discrete Event Systems Using Petri Net Unfoldings. In Proceedings of the 42nd IEEE Conference on Decision and Control (CDC'03), 2003, Hawaii, USA, états-Unis.
      https://inria.hal.science/inria-00638329v1
    • [42] A. Benveniste, E. Fabre, S. Haar, C. Jard. Distributed Monitoring of Concurrent and Asynchronous Systems. In Proceedings of the 14th International Conference on Concurrency Theory (CONCUR'03), 2003, Marseilles, France, France.In Amadio, Roberto M. and Lugiez, Denis (éds.), . Springer, 2003.
      https://inria.hal.science/inria-00638342v1
    • [43] L. Hélouët, C. Jard, M. Zeitoun. Covert channels detection in protocols using scenarios. In Security Protocols Verification, SPV'03, 2003, Unknown, France.In M. Rusinowitch (éds.), . , 2003.
      https://hal.science/hal-00306320v1
    • [44] A. Benveniste, E. Fabre, S. Haar, C. Jard. Diagnosis of Asynchronous Discrete Event Systems, A~Net Unfolding Approach. In Proceedings of the 6th Workshop on Discrete Event Systems (WODES'02), 2002, Zaragoza, Spain, Espagne.
      https://inria.hal.science/inria-00638345v1
    • [45] S. Pickin, C. Jard, Y. Le Traon, T. Jéron, J. Jézéquel, A. Le Guennec. System test synthesis from UML models of distributed software. In Formal Techniques for Networked and Distributed Systems - FORTE 2002, novembre 2002, Houston, états-Unis.
      https://inria.hal.science/hal-00794606v1
    • [46] S. Pickin, C. Jard, T. Heuillard, J. Jézéquel, P. Desfray. A UML-integrated test description language for component testing. In Lecture Notes in Informatics (LNI), octobre 2001, Dortmund, Allemagne.
      https://inria.hal.science/hal-00794311v1
    • [47] J. Jézéquel, C. Jard, L. Nedelka. An approach to integrate formal validation in an OO life-cycle of protocols. In Proc. of FMOODS'96, mars 1996, PARIS, France.
      https://inria.hal.science/hal-00765453v1
    • [48] M. Andreu, M. Haziza, C. Jard, J. Jézéquel. Analyzing a space-protocol: from specification, simulation to experimentation. In Proc. of the Fifth International Conference on Formal Description Techniques, octobre 1992, Perros-Guirrec, France.
      https://inria.hal.science/hal-00765076v1
    • [49] C. Jard, J. Jézéquel. A multi-processor Estelle to C compiler to experiment distributed algorithms on parallel machines. In 9th IFIP International Workshop on Protocol Specification, Testing and Verification, University of Twente, 1989, The Netherlands, Pays-Bas.
      https://inria.hal.science/hal-00765072v1
    • [50] J. Jézéquel, M. Adam, P. Ingels, C. Jard, M. Raynal. Proceedings of the Workshop on Parallel and Distributed Algorithms Bonas, France. In Experimentation on parallel machines is helpful to analyse distributed algorithms, septembre 1988, North Holland, Pays-Bas.
      https://inria.hal.science/hal-00765038v1

Conférences nationales avec comité de lecture et actes (COMM_NAT)

    • [51] T. Chatain, C. Jard. Sémantique concurrente symbolique des réseaux de Petri saufs et dépliages finis des réseaux temporels. In Actes de la 10ème Conférence Internationale sur les NOuvelles TEchnologies de la RÉpartition (NOTERE'10), 2010, Tozeur, Tunisia, Tunisie.
      https://inria.hal.science/hal-00779904v1

Ouvrages - Chapitres d‘ouvrages et directions d‘ouvrages (OUV)

Autres publications (AUTRES)

    • [54] M. Perrin, M. Petrolia, A. Mostefaoui, C. Jard. On Composition and Implementation of Sequential Consistency (Extended Version). Rapport technique, 2016 ; LINA-University of Nantes.
      https://hal.science/hal-01346805v4
    • [55] M. Perrin, C. Jard, A. Mostefaoui. Proof of the Instrumented Semantics for Orc. Rapport technique, 2015 ; LINA-University of Nantes.
      https://hal.science/hal-01101340v2
    • [56] M. Perrin, M. Petrolia, A. Mostefaoui, C. Jard. Consistent Shared Data Types: Beyond Memory. Rapport technique, 2014 ; Université de Nantes.
      https://hal.science/hal-01052437v1
    • [78] J. Fernandez, C. Jard, T. Jéron, L. Nedelka, C. Viho. An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology. Rapport technique, 1996 ; INRIA.
      https://inria.hal.science/inria-00073775v1
    • [79] J. Fernandez, C. Jard, T. Jéron, L. Nedelka, C. Viho. Using on-the-fly Verification Techniques for the Generation of Test Suites. Rapport technique, 1996 ; INRIA.
      https://inria.hal.science/inria-00073711v1
    • [90] C. Diehl, C. Jard. Interval approximations of message causality in distributed execution : observation d'exécutions réparties datation par intervalles : version anglaise et française. Rapport technique, 1991 ; INRIA.
      https://inria.hal.science/inria-00074990v1
    • [93] C. Jard, J. Jézéquel. Un compilateur Estelle multi-processeurs pour l'expérimentation d'algorithmes distribués sur machines parallèles. Rapport technique, 1989 ; INRIA.
      https://inria.hal.science/inria-00075566v1
Copyright : LS2N 2017 - Mentions Légales - 
 -